Your search returned 5 records. Click on the hyperlinks to view further details of Titles..
Magazine Name : Ieee Transactions On Software Engineering
Year : 1994Volume number : 20Issue:11
Automatic Generation Of Path Covers Covers Based On The Control Flow Analysis Of Computer Programs(Article) Subject:
Automated Testing Tool
,
Branch Testing
,
Path Cover
Author:
Antonia
Bertolino
R.M.A.
Marretta
page:
885
-
899
Observer-A Concept For Formal On-Line Validation Of Distributed Systems(Article) Subject:
Distributed Systems
,
Formal Description And Terminology
,
Testing
Author:
Michel
Diaz
Guy
Juanole
Jean-Pierre
Courtiat
page:
900
-
913
A Decompositional Approach To The Design Of Parallel Programs(Article) Subject:
Parallel Programming
,
Specification
Author:
Ying
Liu
Ambuj K.
Singh
Rajive L.
Bagrodia
page:
914
-
932
Odechart A Specification Language For Real-Time Systems(Article) Subject:
Real-Time Systems
,
Specification
,
Rapid Prototyping System
Author:
F.
Jahanian
Aloysius K.
Mok
page:
933
-
947
Precise Documentation Of Well-Structured Programs(Article) Subject:
Precise Centering
,
Structured Surfaces
Author:
David Lorge
Parnas
Michal
Iglewski
page:
948
-
976